امروزه تخمین تلاش توسعه نرم افزار در مدیریت پروژه های نرم افزاری امری حیاتی است. برآورد دقیق هزینه نه تنها به مشتریان و سرمایه گذاران کمک می کند، بلکه در تصمیم گیری منطقی حین انجام پروژه و مدیریت پروژه نرم افزاری نیز تاثیر گذار خواهد بود. تا کنون مدل های تخمین بی شماری ابداع و مورد استفاده قرار گرفته است. بسیاری از رویکردهای تخمین تلاش فعلی با جمع آوری داده ها از پروژه های قبلی انجام می شود. روش استدلال مبتنی بر رویداد یکی از تکنیک های موفق در زمینه تخمین تلاش پروژه های نرم افزاری است. این روش به تنهایی از دقت پایینی برخوردار است که این نقص را می توان با ایجاد مدل های ترکیبی بر طرف کرد. در این مقاله سعی شده است که با ترکیب مدل استنتاج مبتنی بر رویداد و دو الگوریتم فرا اکتشافی مستقل از جمله الگوریتم ازدحام ذرات و الگوریتم کرم شب تاب مدل ترکیبی جدیدی پیشنهاد و عملکرد مدل پیشنهادی را مورد ارزیابی قرار دهیم. با توجه به نتایج بدست آمده مدل پیشنهادی بر روی سه مجموعه داده کوکومو، آلبرشت و ماکسول، می توان گفت که الگوریتم کرم شب تاب عملکرد قابل قبولی داشته است.

در این مقاله، پیاده سازی روش کنترل مبتنی بر مدل پیش بین با افق محدود به صورتی که فیدبک حالت با روش رویداد-تحریک به روزرسانی شود، در مورد سیستمهای خطی بررسی می شود. در این روش تمام متغیرهای حالت و بردار کنترل محاسبه شده در افق پیش بین، در تعیین زمان به روز رسانی موثر هستند، به صورتی که پایداری و کارایی سیستم کنترل حفظ گردد. از این رو، این روش به روزرسانی نسبت به روش مرسوم مبتنی بر تابع لیاپانوف ورودی به حالت، که تنها از آخرین مقادیر نمونه برداری شده در تعیین زمان به روزرسانی استفاده می کند، کارآمدتر است. همچنین در این روش با تغییر سرعت همگرایی متغیرهای حالت سیستم به نقطه تعادل، می توان فاصله زمانی بین دو به روزرسانی متوالی را افزایش داد. برای این مهم یک پارامتر عملکرد قابل تنظیم، در جهت مصالحه بین کارایی و افزایش فاصله زمانی نمونه برداریها در پیاده سازی قانون رویداد-تحریک معرفی می شود. تعیین بازه موثر و قابل تنظیم پارامتر عملکرد نه تنها کاربرد عملی روش رویداد-تحریک را میسر می سازد، بلکه محافظه کاری در پردازشگر سیستم کنترل را نیز کاهش خواهد داد. در این مقاله یک حد بالای موثر برای این پارامتر عملکرد بر اساس طول افق پیش بین و تابع هدف محاسبه می شود. شبیه سازی انجام شده برای یک سیستم کنترل خطی، نشان دهنده کارایی روش تحریک-رویداد مبتنی بر مدل پیش بین و همچنین تطابق محاسبات انجام شده با نتایج شبیه سازی است.

ارزیابی عملکرد شرکت‌های بیمه‌گر یکی از چالش‌های اصلی بیمه مرکزی ج.ا.ا می‌باشد. مکانیزم فعلی ارزیابی عملکرد شرکت‌های بیمه‌گر مبتنی بر شاخص‌های سنتی حسابداری می‌باشد که در بهترین حالت قادر به ارزیابی50% از شرکت‌ها می‌باشد و عملکرد بازاریابی که شاخص های آن مبتنی بر بازار و بیمه گذار محوری هستند، در مکانیزم فعلی لحاظ نشده است. لذا سئوال اصلی این است که چگونه می‌توان مدلی به منظور ارزیابی عملکرد شرکت‌های بیمه‌گر طراحی نمود تا بتواند واقع بینانه‌ای از عملکرد آن‌ها ارائه نماید؟ به منظور پاسخ دادن به سئوال فوق، ابتدا شاخص‌های فعلی مورد ارزیابی در شرکت‌ها و صنعت بیمه در جهان مورد بررسی و غربالگری قرار گرفت. سپس با انجام مصاحبه از خبرگان داخلی، شاخص‌های نهایی حاصل از پیشینه و مصاحبه تلخیص گردید. بررسی‌ها نشان داد که خلأ قابل توجهی در رابطه با شاخص‌های مبتنی بر بازار به هنگام ارزیابی عملکرد شرکت‌های بیمه‌گر وجود دارد. لذا مدل ریاضی تحلیل پوششی داده‌های شبکه‌ای مبتنی بر شاخص‌های بازار طراحی گردید. جامعه آماری شامل 28 شرکت فعال در صنعت بیمه ایران می‌باشند. داده‌های واقعی از اسناد و مدارک مربوط به سال 1398 بیمه مرکزی ج.ا.ا جمع‌آوری گردید. نتایج حل مدل ریاضی ارزیابی عملکرد شرکت‌های بیمه‌گر نشان داد که تنها 1شرکت در هر سه مرحله و همچنین بطور کلی کارا بوده است. تعداد 12 شرکت در یک مرحله، تعداد 9 شرکت در دو مرحله کارا بودند، در حالیکه کارایی کلی آن‌ها کمتر از 1 بود. همچنین تعداد 6 شرکت دارای کارایی 100% در فرآیند بازاریابی و عملکرد بازار بودند.

لطفا برای مشاهده چکیده به متن کامل (PDF) مراجعه فرمایید.

مسئله تنظیم ظریف در کیهان شناسی معاصر، مسئله ای است که به نظر می رسد نیازمند تبیین است. تبیینی که برخی فیزیکدانان سرشناس برای آن ارائه داده اند، استفاده از استدلال آنتروپیک مبتنی بر چندجهانی است. در این مقاله پس از معرفی مفهوم چندجهانی، تنظیم ظریف و انواع آن و همچنین اصل و استدلال آنتروپیک، استدلال خواهد شد که به نظر نمی رسد تبیین این فیزیکدانان، هدف آنان را که ارائه توضیحی معقول برای تنظیم ظریف است، تامین کند. در واقع، تبیین آنها مسئله تنظیم ظریف جدیدی را ایجاد می کند که یک مرحله پیش از تنظیم ظریف فعلی است. بنابراین خود، نیازمند تبیین است.

هدف پژوهش حاضر، شناسایی اصول تربیتی استدلال عقلانی در آموزه­های قرآنی است. استدلال عقلانی، فرایندی آگاهانه در راستای دستیابی به هدفی خاص است که به­واسطه گزاره­های عقلی صورت می­پذیرد. پرسش اصلی آن است که اصول تربیتی استدلال عقلانی مبتنی بر دعوت انبیا در قرآن کریم چیست؟ روش پژوهش، تحلیل محتوای کیفی به­شیوه استقرایی است که با استفاده از کدگذاری باز، داده های لازم از قرآن کریم جمع آوری و اصول شناسایی شده است. مهم ترین یافته­ها عبارتند از: حقیقت­گویی و واقع­نگری، مقبولیت انتخابی، پرهیز از مضامین فراعقلی، اتکا بر براهین عالمانه، توجه به مقتضیات شناختی و عاطفی، تأکید بر اشتراکات، تسهیل ادراک و القای مفاهیم نوین. بررسی یافته­ها نشان می­دهد که این اصول در دو حیطه اقتضایی و الزامی جای می­گیرند. امکان و ضرورت به کارگیری اصول اقتضایی، به مقتضیات و شرایط وابسته­ بوده و اصول الزامی در هر شرایطی باید رعایت شود؛ زیرا اساساً مطلوبیت فرایند استدلال عقلانی، بدان وابسته است.

1پژوهش حاضر باهدف تدوین و اعتباریابی بسته آموزشی درس دین و زندگی پایه دهم مبتنی بر تئوری انتخاب انجام شد. روش پژوهش برای مرحله طراحی و تدوین بسته آموزشی، روش توصیفی – تحلیلی با رویکرد سنتزپژوهی آمیخته بود. مضامین اصلی بسته آموزشی و زمان موردنیاز برای آموزش برگرفته از منابع کتبی همچون الگوی مدارس گیلانت گرمار و مقالات و طرح های پژوهشی داخلی و خارجی بود. برای روایی یابی بسته، ضمن استفاده از روش روایی صوری، از روش روایی محتوایی به شیوه کیفی و کمی با پانل خبرگان 14 نفری  استفاده شد. 14 نفر از متخصصان به عنوان جامعه آماری در نظر گرفته شد که 10 نفر در حوزه روان شناسی و دو نفر در حوزه برنامه ریزی درسی و دو نفر هم در حوزه تعلیم وتربیت بودند و از دو ضریب نسبی روایی محتوا و شاخص روایی محتوا استفاده شد. حداقل و حداکثر میزان ضریب نسبی روایی محتوا برای هر آیتم بسته .71/0 و 1 محاسبه شد و میزان شاخص روایی محتوا در عمده جلسات به سمت عدد (85/0)برای تمامی هدف ها در پروتکل آموزشی به دست آمد. نتایج نشان داد بسته آموزشی درس دین و زندگی مبتنی بر تئوری انتخاب برای دانش آموزان پایه دهم از روایی صوری و محتوایی مناسبی بهره مند است و روایی لازم را برای کاربردهای آموزشی و استفاده پژوهشی دارد.

چشم اندازی از اینترنت آینده به گونه ای معرفی شده که دستگاه های محاسباتی مختلف به یکدیگر متصل می شوند تا شبکه ای به نام اینترنت اشیا را تشکیل دهند. اینترنت اشیا با ارائه بسیاری از برنامه ها و وسایل هوشمند که می توان از راه دور کنترل کرد، زندگی انسان را تسهیل می کند. امنیت اینترنت اشیا به دلیل ویژگی های ذاتی اینترنت اشیا به ویژه ناهمگونی گره ها از نظر منابع، یک کار چالش برانگیز است. مدیریت اعتماد با محاسبه و تجزیه وتحلیل اعتماد بین گره ها، در برقراری ارتباط بین گره ها این امکان را فراهم می کند که گره، تصمیم مناسب و قابل اعتمادی بگیرد. هدف طرح های مدیریت در یک سیستم توزیع شده این است که بر اساس رفتارهای قبلی گره ها، رفتارهای آینده آنها را پیش بینی کند. در این مقاله یک روش مدیریت اعتماد توزیع شده رویدادمحور پیشنهاد شده که به محاسبه اعتماد بین اشیا با استفاده از جمع وزنی می پردازد. در این روش، گره ها می توانند رفتار دیگر گره ها را ارزیابی کنند. با توجه به شبیه سازی انجام شده، روش پیشنهادی در مقایسه با روش DDTMS، سریع تر است و در تعداد تراکنش

هیلاری پاتنم (1926-2016)، فیلسوف برجسته ی تحلیلی، بخش مهمی از دوران طولانی تفلسفش را به این سوال می پردازد که «ذهن و زبان چگونه به جهان خارج چنگ می زنند؟ » در مقام پاسخ به این سوال، در حوزه ی سمنتیک، برون گرایی معنایی را طرح می کند و در حوزه ی متافیزیک و انتولوژی، علیه رئالسیم متافیزیکی به پا می خیزد و دو استدلال ارائه می کند که یکی از آن ها استدلال مدل تئورتیک است. در این مقاله نشان خواهم داد که استدلال پاتنم به سود برون گرایی معنایی و استدلال مدل تئورتیکِ او علیه رئالیسم متافیزیکی، هرچند به لحاظ ظاهری دارای ساختار و صورت بندی متفاوتی هستند، اما درواقع اندیشه ی واحدی از هر دوی آن ها پشتیبانی می کند. در این راستا، پس از گزارش هریک از این استدلال ها، صورت بندی تازه ای از آن ها ارائه می شود. سپس بر پایه ی وجوه اشتراک این دو استدلال، اندیشه ی پشتیبان آن دو معرفی خواهد شد. طبق این اندیشه ی پشتیبان، انفکاک قاطع میان ذهن و جهان خارج منجر به نامتعین شدن رابطه ای ارجاعی میان آن ها می شود اما بنا به درک متعارف، این رابطه متعین است؛ پس ذهن و جهان خارج منفک از یک دیگر نیستند؛ به عبارت دیگر، درهم تنیده اند.